deduction system
英 [dɪˈdʌkʃn ˈsɪstəm]
美 [dɪˈdʌkʃn ˈsɪstəm]
网络 演绎系统
双语例句
- The author explores the VAT deduction system in the underdeveloped market economy in China.
第五章是对我国不发达市场经济条件下的增值税抵扣制度的研究。 - This paper presented an automated reasoning algorithm for natural deduction system ( NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。 - Control strategy for rule-based deduction system
基于规则演绎系统的控制策略 - This article explains what is deduction system comparing the relative legislation of the world, and analyses the issues, and conceives how to set up the deduction system in our country.
通过对世界相关立法的比较分析，可以明确归扣制度的内容，并对归扣制度的相关争点加以讨论，构想在我国应如何设置归扣制度。 - The Logic Deduction System of New Ethics: A Study of New Ethics ( 4)
新伦理学之逻辑推论体系&《新伦理学》研究（4） - Application of Storage process on deduction system for individual income tax
存储过程在个人所得税扣税系统中的应用 - The conditions satisfied for the existential instantiation and the universal generalization in the natural deduction system are described clear, whereas they are described rather vaguely in many textbooks on discrete mathematics.
清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件，而这些条件在许多离散数学教科书中叙述得相当含糊。 - A Kind of Weaker Basic Logic Type of Deduction System and Its Quotient Algebras Theory
一种弱BL形式演绎系统及其商代数理论 - Based on fuzzy formal deduction system, some concepts of fuzzy first-order logic are introduced.
本文在模糊命题逻辑演绎系统的基础上，引入了模糊意义下的一阶逻辑的相关概念，建立了模糊一阶（谓词）逻辑的准形式演绎系统。 - In this article, the Frame Problem ( FP) arising from inference rules contained in state description is described when robot's plan-generating system is designed. And the method is presented that this fram problem is solved by applying backward rule-based deduction system.
本文叙述了在设计机器人规划生成系统时因状态描述中含有推理规则而引起的画面问题EP（FrameProblem），提出了一个应用基于规则的逆向演绎系统解决此画面问题的方法。 - -the reason that deduction system was not developed in Chinese traditional mathematics;
为什么中国传统数学未能发展出演绎系统的原因； - Under this policy and China's practical economic situation, this dissertation points out some suggestion to expense deduction system.
本文在此政策背景下，结合我国现实经济情况，提出我国的费用扣除制度也应划分为必要费用、生计费用、特别费用扣除。 - Creates a three-tier task deduction system based upon the theory of Petri Net and Projective Virtual Reality reaching the goal of reducing time delay of teleoperation and reliably controlling system;
基于Petri网理论和投射式虚拟现实原理建立了移动机器人任务演绎逻辑的三层系统结构，经过实验运行检验，达到了减小基于网络的移动机器人遥操作时延的影响，对系统的控制稳定、准确； - This paper extends the predicate deduction system in the reference [ 1].
本文扩充了[1]的谓词演算系统。 - First, an extended natural deduction system of the programming logic is established and then its completeness is proved.
以扩充的自然推理系统为基础，建立了程序逻辑的一个形式推导系统，并证明了它的完全性。 - Part ⅱ introduces the history of the Chinese Individual Income Tax Law, and discusses the defect of our deduction system.
第二部分，介绍了我国个人所得税法发展的历史及现行费用扣除标准，分析了我国费用扣除制度的缺陷； - The Quasi-formal Deduction System on the Fuzzy First-order Logic
初等模糊一阶逻辑的准形式演绎系统 - The Solution of Frame Problem FP by Applying Backward Deduction System
用逆向演绎系统解决画面问题FP - Formal fuzzy propositional logic deduction system
形式模糊命题逻辑推理系统 - A Non-Monotonic Heuristic Natural Deduction System Category B contains six types.
非单调启发式推理系统B类是推理； - Part ⅲ describes the history of American Individual Income Tax Law, and introduces American deduction system.
第三部分，介绍了美国个人所得税法的发展历史和美国的费用扣除制度； - The Value Analysis of the Penalty Deduction System and Suggestions for its Reform
减刑制度的价值分析及其改革思路 - Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 - Using operator to model constraints, this paper researches such abstract operator logic, analyzes its syntax, semantics, axiomatic system, its natural deduction system and its normalized natural deduction system, provide the theoretical foundation for constrict analysis of hierarchy system.
研究了抽象算子逻辑，并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础。 - Because the mathematical system has been far away from the concrete mathematical object, is an abstract logic deduction system.
由于数学系统远离了具体数学对象，是一个抽象的逻辑演绎系统。 - The pivotal of the implement family tax is the perfect tax deduction system, the sound income monitoring system, and confirming the family tax unit.
完善的税前扣除制度、健全的收入监控体系、纳税家庭单位的确认是家庭课税制实行的关键所在。 - Leibniz invented binary system and assumed a "universal characteristic", a symbol system that contained all the human thoughts; the" mechanical reasoner "that he invented contains the ideas, namely reasoning is a deduction system based on formal rule.
莱布尼茨发明了二进制表示方法，设想了一种普遍文字，能包含人类全部思想的符号系统；他所提出的机械推理机包含这样的思想，即推理是一个根据形式规则进行的演绎系统。 - This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. And a logic deduction system is put forward in this paper: Refactoring Reliability Deduction System.
本文从理论上对重构的可行性和可靠性进行了较深入的研究。引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。 - In the fourth chapter, the writer pays attention on the present situation of China, and summarize the Expense deduction system of China, and analysis the problems in the existing system.
第四章着力分析我国现状，概述了我国费用扣除制度的规定，分析了现行制度中存在的问题。 - From tax model, tax deduction system and tax rate to analyze the individual income tax of the United States, Britain, France, Germany and Australia, in order to provide theoretical sup portion.
对美国、英国、法国、德国和澳大利亚五个国家的个人所得税法从税制模式、扣除制度和税率三个方面进行分析，为我国个人所得税法的改革提供借鉴作用。